Deriving Imperative Code from Functional Programs Patrice Quinton, Sanjay Rajopadhye, Doran Wilde

Alpha is a data parallel functional language which has the capability of specifying algorithms at a very high level. Our ultimate objective is to generate eecient parallel imperative code from an Alpha program. In this paper, we discuss the related problem of generating eecient single processor imperative code. Analysis techniques that were developed for the synthesis of systolic arrays are extended and adapted for the compilation of functional programming languages. We also demonstrate how a transformational methodology can be used as a compilation engine to transform an Alpha program to a sequential form. C{code is then generated using a straightforward pretty printer from the sequential form Alpha program. The C{code may then be compiled to eeciently execute the program. Derivation de code imperatif a partir d'un programme fonctionnel R esum e : Alpha est un langage fonctionnel a parall elisme de donn ees qui permet de sp eciier des algorithmes a un tr es haut niveau d'abstraction. Notre objectif ultime est de produire du code imp eratif parall ele eecace, a partir d'un programme Alpha. Dans ce rapport, nous traitons le probl eme, li e a cet objectif, d'engendrer du code imp eratif eecace pour un seul processeur. Les techniques d'analyse qui ont et e d evelopp ees pour la synth ese d'architectures systoliques sont etendues et adapt ees a la compilation de langages de programmation fonctionnels. Nous montrons aussi comment une m ethodologie transfor-mationnelle peut ^ etre utilis ee comme moteur de compilation pour passer d'un programme Alpha a une forme s equentielle. A partir de cette forme, on peut g en erer du code C a l'aide d'un simple pretty-printer. Ce code peut ^ etre compil e aan d'ex ecuter le programme de faa con eecace.